1. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، System design,، Object-oriented programming )Computer science(,، Mathematics -- Data processing
رده :
QA
76
.
9
.
S88
A38
1997
2. Advances in the design of symbolic computation systems
پدیدآورنده: A. Miola and M. Temperini )eds.(,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: System design,Object-oriented programming )Computer science(,Mathematics -- Data processing
رده :
QA
.
S88
,
A38
76
.
9
1997
3. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده: / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
4. An introduction to discrete mathematics and formal system specification
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1988
5. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel C.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، System design
رده :
QA
76
.
9
.
M35I53
1992
6. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, Darrel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Mathematics ، Computer science,، System design
رده :
QA
76
.
9
.
M35153
1992
7. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
8. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده: / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
9. An introduction to discrete mathematics, specification, and Z
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
10. FME 2002 :
پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2002
11. FME 2003 :
پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
رده :
QA76
.
76
.
D47
I593
2003
12. Process algebra with timing
پدیدآورنده: by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
13. Process algebra with timing
پدیدآورنده: / J.C.M. Baeten, C.A. Middelburg
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
